Mechanical theorem proving

[计] 机器证明

🧩 词语组成解析

mechanical [mɪ'kænɪkəl]
adj. 机械的，机械学的;呆板的;体力的;手工操作的;
mechan(machine)+ical(形容词后缀)→机械的；呆板的
theorem ['θiərəm]
n. [数] 定理;（能证明的）一般原理，公理，定律，法则;
theor考虑 + em获得→考虑后获得的结果 → n.[数]定理, 法则
proving
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)

🗣️ 情景例句

Does anyone have any complaints?
谁有什么不满意的地方吗？
Have you got any plans?
你有什么计划吗？
One of the most famous monuments in the world, the Statue of Liberty, was presented to the United States of America in the nineteenth century by the people of France.
世界上最著名的纪念碑之一的自由女神雕像是在19世纪时由法国人民赠送给美国的。
更多情景英语 ›

🔤 更多 M 开头的单词

MacArthur
marget
matrix save value
membrana elastica laryngis
meratran
metria
minor control data
moonlit ['mu:nˌlit]
全部 M 开头单词 ›